lanai

noun

1.
a veranda or roofed patio often furnished and used as a living room