Any one of several species of spotted seals, especially Ogmorhinus leptonyx, and Leptonychotes Weddelli, of the Antarctic Ocean. The North Pacific sea leopard is the harbor seal.  [1913 Webster]