在数学特别是序理论中，完全海廷代数是作为完全格的海廷代数。完全海廷代数是三个不同范畴的对象，它们是范畴CHey，locales的范畴Loc，它的对偶frames的范畴Frm。
定义.考虑是完全格的偏序集合（"P", ≤）。则"P"是完全海廷代数，如果任何下列等价条件中的一个成立：
例子.完全海廷代数引发自带有无限析取的（直觉）逻辑的林登鲍姆-塔斯基代数。