guessing the relation of proof and model theory

Proof require a constructive sequence that adhere to inference rules and finally lead to expected result.

But model theory only require that sth is model of the other? may it permit exclude middle law??