Rigidity of transversally biharmonic maps between foliated Riemannian manifolds

On a smooth foliated map from a complete, possibly non-compact, foliated Riemannian manifold into another foliated Riemannian manifold of which transversal sectional curvature is non-positive, we will show that, if it is transversally biharmonic and has the finite energy and finite bienergy, then it is transversally harmonic.