Hola:
Con respecto a esta pregunta:
>> si Γ consistente maximal entonces existe una única estructura que lo modela" ?
No se cumple. Al menos no en esa formulación tan estricta.
Sí tenemos una propiedad similar que es la que se formula en el ejercicio 10 del práctico 9.
Por otro lado, la nocion de completo no se presenta en lógica de predicados. Por lo tanto no consideramos las propiedades vinculadas que se presentan en proposicional.