Complex hyperbolic surfaces whose closed geodesics are all simple

We show that all closed geodesics in any arithmetic complex hyperbolic surface of second type are simple. These include the fake projective planes studied by Mumford, Klingler, Prasad-Yeung, and Cartwright-Steger.