若設二叉樹的高度為h，除第 h 層外，其它各層 (1～h-1) 的結點數都達到最大個數，第 h 層從右向左連續缺若幹結點，這就是完全二叉樹。
葉子結點只可能在最大的兩層上出現,對任意結點，若其右分支下的子孫最大層次為L，則其左分支下的子孫的最大層次必為L 或 L+1
二叉樹是壹類非常重要的樹形結構，它可以遞歸地定義如下：
二叉樹T是有限個結點的集合，它或者是空集，或者由壹個根結點u以及分別稱為左子樹和右子樹的兩棵互不相交的二叉樹u(1)和u(2)組成。若用n,n1和n2分別表示T，u(1)和u(2)的結點數，則有n=1+n1+n2 。u(1)和u(2)有時分別稱為T的第壹和第二子樹。
因此，二叉樹的根可以有空的左子樹或空的右子樹，或者左、右子樹均為空。
在二叉樹中，每個結點至多有兩個兒子，並且有左、右之分。因此任壹結點的兒子不外4種情況：沒有兒子；只有壹個左兒子；只有壹個右兒子；有壹個左兒子並且有壹個右兒子。