This is a response to the following comment by Juan Luis Soldi but was too long to put in a comment.
Let me see if I get it. A Turing Machine is a Turing complete machine because it can run programs that can compute anything. Theses programs can be either Turing Complete (like running Visual Studio on Windows) or not (like running Paint). A Universal Turing Machine is a Turing Machine loaded with a Turing complete program. Right?
The Visual Studio / Paint analogy isn't a million miles from the truth but it contain a couple of problems that ought to be discussed.
First, in my opinion it's best not to think of Turing machines as being "loaded with a program", because that leads to confusion. A Turing machine computes a single function, kind of like those cheap little games machines that, say, only play Tetris. Remember that, historically, Turing machines predate the stored program computer by about fifteen years. The definition of the machine includes the transition function, which is fixed: the machine and the program are the same thing and, if you want to change the program, you have to change the hardware.
A universal Turing machine is a Turing machine whose input is a description of a Turing machine and its input. The universal Turing machine simulates the machine described in its input. (As such, it's a bit more like an interpreter than a compiler.) So, if a universal Turing machine $U$ has as input a description of a machine $M$ and its input $x$, its output will be whatever $M$ outputs when it's given input $x$. If $M$ doesn't halt when given input $x$, then $U$ will not halt when given a description of $M$ and $x$.
Now, Turing completeness is a property of models of computation. A model of computation is Turing-complete if defines exactly the same class of functions as Turing machines. So Turing machines are Turing-complete by definition. The lambda-calculus is Turing complete because every lambda-calculus term can be translated into a Turing machine and every Turing machine can be translated into a lambda-calculus term.
Strictly speaking, a universal Turing machine (UTM) is not Turing-complete. This is because it only computes one function: if its input describes a Turing machine $M$ and $M$'s input, the UTM tells you what that machine would have done. Why isn't this Turing-complete? Well, there's a Turing machine $T$ that accepts all inputs of even length and rejects all inputs of odd length and no UTM can do that. The UTM can simulate $T$ but the UTM itself isn't accepting exactly the even-length inputs. Rather, it's accepting all inputs that start with the description of $T$, followed by an even-length input for $T$.