Completude, na teoria da ordem, é a propriedade que diz que, se um conjunto for dividido em duas partes de modo que os elementos de uma parte são sempre menores que os da outra parte, então existe um ponto que faz a fronteira entre as partes.