> If the code is tagged as being MIT in GitHub
Yes
> includes an MIT license file
Maybe. MIT license permits additional license restrictions on top of license. For example, MIT code can be copied into a proprietary system with a different license, which will forbid copying code out.