thumb|250px|Wylot doliny w Prosieku thumb|250px|Wapienne ściany doliny thumb|250px|Kładka nad Prosieczanką thumb|250px|Przejście metalową drabinką thumb|250px|Przejście przez Prosieczankę
Dolina Prosiecka (słow. Prosiecka dolina) – krótka, głęboka dolina w Górach Choczańskich na Słowacji, przecinająca w poprzek całe to pasmo górskie. Jeden z najbardziej reprezentatywnych przykładów doliny krasowej w Karpatach Zachodnich. Doliną (lub generalnie w jej osi) spływa potok Prosieczanka (Prosiečanka).
Położenie Dolina ma ogólny przebieg północ – południe. Rozcina położoną najbardziej na wschodzie część Gór Choczańskich, tzw. Grupę Prosiecznego, na dwie mniej więcej równe części: wschodnią z masywami Prosiecznego (Prosečné) i Hradkowej (Hrádkovo) oraz zachodnią z masywami Łomów (Lômy) i Prawnacza (Pravnáč). Dolinę ograniczają od wschodu zbocza Prosiecznego, zaś od zachodu – rozczłonkowane stoki wschodniego ramienia Łomów. Południowy (dolny) wylot Doliny Prosieckiej znajduje się na wysokości ok. 650 m n.p.m. już na terenie Kotliny Liptowskiej, na północ od liptowskiej wsi Prosiek. Górny (północny) wlot doliny znajduje się na wysokości ok. 920 m n.p.m., na skraju kotliny zwanej Svorad, już na granicy Rowu Podtatrzańskiego.