In this paper we study Banach–Finsler manifolds endowed with a spray which have seminegative curvature in the sense that the corresponding exponential function has a surjective expansive differential in every point. In this context we generalize the classical theorem of Cartan–Hadamard, saying that the exponential function is a covering map. We apply this to symmetric spaces and thus obtain criteria for Banach–Lie groups with an involution to have a polar decomposition. Typical examples of symmetric Finsler manifolds with seminegative curvature are bounded symmetric domains and symmetric cones endowed with their natural Finsler structure which in general is not Riemannian.