haven waarin een drijvend dok ligplaats heeft. Geregeld verward met een havendok: een haven aan de ingang voorzien van een keersluis. Ook kortweg dok genoemd. Sommige scheepswerven hadden dokhavens om te voorkomen dat de drijvende dokken het vaarwater te veel zouden versmallen, of om problemen met beschikbare oeverlengte op te lossen.