Hola, según "ab.out" el árbol (((_ 7 _) 9 (_ 6 _)) 5 (_ 7 _)) no es completo de altura 2 y es completo de altura 3:
103>Copia de 0: (((_ 7 _) 9 (_ 6 _)) 5 (_ 7 _))
104>Recorrida en orden del árbol 0: 7 9 6 5 7
105>Recorrida en preorden del árbol 0: 5 9 7 6 7
106>Recorrida en postorden del árbol 0: 7 6 9 7 5
107>La lista [ 5 7 ] es camino del árbol 0.
108>La lista [ 5 9 7 ] es camino del árbol 0.
109>La lista [ 5 9 6 ] es camino del árbol 0.
110>La lista [ 5 7 8 ] NO es camino del árbol 0.
111>La lista [ 5 9 6 3 ] NO es camino del árbol 0.
112>El camino más largo del árbol 0 es: [ 5 9 7 ]
113>El árbol 0 NO es perfecto de altura 2.
114>El árbol 0 NO es perfecto de altura 3.
115>El árbol 0 NO es completo de altura 2.
116>El árbol 0 es completo de altura 3.
117>Fin.
Según la definición dada de árbol completo, entiendo que debería ser al revés, es decir: el árbol (((_ 7 _) 9 (_ 6 _)) 5 (_ 7 _)) es completo de altura 2 y no es completo de altura 3. ¿Estoy en lo correcto?