Definition:Theory (Logic)/Complete

Definition
Let $\LL$ be a language.

Let $T$ be an $\LL$-theory.

$T$ is complete :
 * for every $\LL$-sentence $\phi$, either $T \models \phi$ or $T \models \neg \phi$

where $T \models \phi$ denotes semantic entailment.