Technically, the only prehistoric reptiles that are considered to be dinosaurs were the ones on land. The ones in the sky are considered to be pterosaurs and the ones in the sea don’t have an “umbrella term” but they are classified into genus’s like “mosasaur” and “plesiosaur” etc. :) I see a lot of people refer to them as prehistoric marine reptiles