Definition 1.2 (Complete theory). An $L$-theory $T$ is complete if for every $L$-sentence $\phi$, either $T\models \phi$ or $T\models \neg \phi$.