  In this paper, we study transnormal functions and their level sets and focal
varieties on complete Finsler manifolds. We prove that the focal varieties of a
C2 transnormal function are smooth submanifolds and each regular level set is a
tube over either of the focal varieties.
