I've always known them to be public baths and also tend to think of them as a covered area. I think of a pool as more likely to be open to the elements. A Lido.