As árvores binárias têm várias propriedades quanto às relações entre sua altura e seu número de nodos. Denota-se o conjunto de nodos de mesma profundidade d de uma árvore T como sendo o nível d de T. Sendo assim, em uma árvore binária, o nível 0 tem um nodo, o nível 1 tem, no máximo, 2 nodos, o nível 2 tem, no máximo, 4 nodos e assim por diante.