Can anyone clarify the exact meaning of 'lanai'? Does the term imply that the area is covered, i.e. would I be repeating myself by saying 'covered lanai'?

Thanks in anticipation