Γ es completo (entiendo que porque hay una única valuación que hace a todo verdad, pero por que es eso?)
Sí, es correcto. A esa propiedad la llamamos caracterización semántica de completo (que exista una única valuacíón que asigna 1 a todos los elementos del conjunto).
Y no es consistente maximal porque hay mas formulas que se le pueden agregar y seguirian sin haber contradicciones? Por ejemplo, p1 and p2?
Sí, dicho con más precisión: podemos agregar fórmulas al conjunto y continúa siendo consistente.