This is the subcategory of former lakes, those that once existed but have since dried up, been claimed by the ocean or an even larger lake, or otherwise disappeared.
See also shrunken lakes — natural lakes that have permanently shrunk considerably in size but still exist in one or more permanent significant remnants.