Un árbol con máximo dos niños por cada nodo. Definición formal: un árbol binario o

• está vacía (no hay nodos) o
• tiene un nodo raíz, un árbol binario izquierdo y un árbol binario de acuerdo.