marine turtle n : any of various large turtles with limbs modified into flippers; widely distributed in warm seas [syn: sea turtle]