template <class T>
    class Nodo
    {
    protected:
        T d;
        Nodo *h[2] = {NULL};
    
    public: 
        Nodo(T dato = T()) { d = dato; }
    };

Aunque la clase `Nodo` sea una clase incompleta en el punto de declaración de `h`, porque todavía se está procesando, siempre puedes declarar punteros, referencias y funciones que reciban o devuelvan objetos por valor de dicho tipo incompleto. Es decir, este código compila (aunque no lo he probado):

    #include <iostream>

    class A;

    A* a = nullptr;
    // A* a2 = new A; // [†]

    struct B
    {
       A& ra;  // [†2]
    };

    A f(A);
    A& f(A&); // [†3]
    
    // A& ra = *a; // [†4]

    int main()
    {}

**[†]:** Eso no compila porque, aunque sea válido declarar punteros a un tipo incompleto, no puedes crear ningún objeto de dicho tipo al no saber todavía de qué constructores dispones, y sobre todo, por no conoces todavía el tamaño de `A` (`sizeof(A)`).

**[†2]:** No puedes declarar la referencia como variable (sea global o local), porque las referencias deben estar obligatoriamente definidas en su declaración (por ejemplo, `ra = *a`), es decir, no puedes declarar una referencia, y asignarle un valor más tarde. Sin embargo, al ser `A` un tipo incompleto, no tienes forma de "conseguir" el objeto que quieres referenciar. Es decir, `*a` no compilaría por `A` es un tipo incompleto y no sabemos qué es un objeto de tipo `A`.

Sin embargo, sí que puedes declararlo como atributo, dado que ahí no estás obligado a inicializarlo. Eso ocurrirá obligatoriamente en el constructor, cosa que tampoco podrías implementar todavía hasta que `A` no esté definido.

**[†3]:** Los parámetros de las funciones son los únicos lugares en los que puedes declarar objetos de un tipo incompleto (y no solo referencias o punteros), dado que, en ese punto, no se necesita conocer ni su tamaño (`sizeof(A)`) ni su contenido. Eso sí, no podrías implementar la función hasta que `A` se defina más tarde en el código y ya haya disponible constructores de copia, etc.

**[†4]:** Nuevamente, no se puede aplicar `*a` si aún no conoces `A`. No conozco exáctamente los motivos, pero normalmente suele ser porque para realizar ese tipo de acciones el compilador necesita su `sizeof`.