Cinnamon uses 3 kinds of themes:
Cinnamon themes are just for the shell (panel, menu, etc.)
Window themes are responsible for window borders.
GTK+ themes are for the rest.
I think you might overlook the Gtk theme setting under the Other theme tab. But Mint came with only a few GTK themes pre-installed, none of which is dark. So you will have to download some dark themes