Los árboles son estructuras de datos jerárquicas no lineales compuestas por nodos. Un árbol binario tiene una raíz con dos subárboles disjuntos izquierdo y derecho. Los árboles binarios completos son aquellos donde todos los nodos excepto los del último nivel tienen dos hijos.