Un álgebra completa de Heyting es un álgebra de Heyting que es un retículo completo.