Buen día.
Quería consultar básicamente lo del título. ¿Es 0x8000 (el valor que estamos usando como substituto de vacío/null) una entrada válida para el árbol?
Por lo menos para el caso estático tiendo a creer que no, ya que hasta donde puedo ver requeriría una estructura auxiliar para diferenciar el 0x8000 como valor vacío de un valor ingresado.
Para el caso dinámico podría ser un poco más gestionable ya que solamente se necesita saber la cantidad de nodos ingresados para ubicar el vacío. Pero simplificaría algunas condiciones que el valor 0x8000 pueda usarse como valor terminal indistintamente del modo.
También aprovecho la oportunidad para consultar de que en caso de que sea inválido, si se espera algún mensaje de error o simplemente el comportamiento del programa pasa a ser indefinido.
Saludos.