Suppose [Formula: see text] is a Heegaard splitting and [Formula: see text] is an essential separating disk in [Formula: see text] such that a component of [Formula: see text] is homeomorphic to [Formula: see text], [Formula: see text]. In this paper, we prove that if there is a locally complicated simplicial path in [Formula: see text] connecting [Formula: see text] to [Formula: see text], then the geodesic connecting [Formula: see text] to [Formula: see text] is unique. Moreover, we give a sufficient condition such that [Formula: see text] is keen and the geodesic between any pair of essential disks on the opposite sides has local uniqueness property.