Completeness

A logical system $\mathcal{K}$ is complete iff

$$\Gamma \models \varphi ⟹\Gamma {⊢}_{\mathcal{K}}\varphi$$

See Logic and Structure Dalen